package edu.gatech.cc.concolic.constraint;

public interface ConstraintVisitor {

	void visit(EQ eq);
	void visit(GE ge);
	void visit(GT gt);
	void visit(LE le);
	void visit(LT lt);
	void visit(NE ne);

	void visit(AND and);
	void visit(OR or);
	void visit(NOT not);
}
